Department of Computer Science - PDFSEARCH.IO - Document Search Engine

Department of Computer Science
Results: 12626

#	Item
81	Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-04-04 10:42:31 Temporal logic Artificial intelligence Human behavior Cognitive science Logic Linear temporal logic Computation tree logic Autonomous agent Probabilistic logic Trust Humanrobot interaction Practical reason
82	Shehar Bano Department of Computer Science, University College London, Gower Street WC1E 6BT, London https://sheharbano.com Employment History. • University College London, Dept. of Computer Science Add to Reading List Source URL: sheharbano.com Language: English - Date: 2018-10-22 09:11:07 Computing California Information technology Steven Murdoch Vern Paxson Blockchain Association for Computing Machinery International Computer Science Institute Paxson Jon Crowcroft
83	Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2014-02-26 06:04:38 Parallel computing Application programming interfaces Computer programming Message Passing Interface Computing Edsger W. Dijkstra Deadlock NC Software engineering Model checking
84	Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:10:42 Software engineering Computer programming Theoretical computer science Automated theorem proving Lisp ACL2 Formal methods Logic in computer science Robert S. Boyer
85	Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2015-11-05 09:33:47 Software engineering Java Pathfinder Computer programming Computing Const Obfuscation Assembly languages Programming language syntax Java P-code machine
86	Synthesis for Multi-Objective Stochastic Games: An Application to Autonomous Urban Driving Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, Unite Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2013-06-03 18:23:17 Mathematical analysis Mathematics Statistical randomness Measure theory Boolean algebra Experiment Sigma-algebra Markov chain Determinacy Linear temporal logic Stochastic game Markov decision process
87	Poster: IoTcube: An Automated Analysis Platform for Finding Security Vulnerabilities Seulbae Kim, Seunghoon Woo, Heejo Lee, Hakjoo Oh Department of Computer Science and Engineering Korea University Seoul, Korea Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-21 15:07:31 Software testing Computer security Security engineering Cyberwarfare Cybercrime Computer network security Fuzzing Software bugs Application security Vulnerability Internet of things Heartbleed
88	Deadline-Aware Multipath Communication: An Optimization Problem Laurent Chuat∗ , Adrian Perrig∗ , Yih-Chun Hu† of Computer Science, ETH Zurich, Switzerland † Department of Electrical and Computer Engineering, Uni Add to Reading List Source URL: www.netsec.ethz.ch Language: English Computing Information theory Information and communications technology Telecommunications engineering Data transmission Network performance Computer networking Internet architecture Multipath routing Transmission Control Protocol Packet loss Routing
89	Calibrating the Classifier: Siamese Neural Network Architecture for End-to-End Arousal Recognition from ECG Andrea Patan`e and Marta Kwiatkowska Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2018-07-24 04:40:17 Artificial neural networks Computational neuroscience Applied mathematics Neuroscience Cybernetics Computational statistics Market research Deep learning Heart rate variability Emotion recognition Recurrent neural network Affective computing
90	Complex Patterns in Dynamic Attributed Graphs Rina Singh, Jeffrey A. Graves, Douglas A. Talbert Department of Computer Science Tennessee Technological University Cookeville, TN USA Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:43 Graph theory Mathematics Discrete mathematics Directed graph Graph Centrality Topological graph theory Degree Sequence Sequential pattern mining Directed acyclic graph Pathwidth

UPDATE